CONFIG_CPU_RMAP=y
# CONFIG_KEXEC is not set
CONFIG_MUTEX_SPIN_ON_OWNER=y
CONFIG_NR_CPUS=2
CONFIG_RCU_STALL_COMMON=y
CONFIG_RFS_ACCEL=y
CONFIG_RPS=y
CONFIG_SMP=y
CONFIG_SMP_UP=y
CONFIG_STOP_MACHINE=y
CONFIG_TREE_RCU=y
CONFIG_USE_GENERIC_SMP_HELPERS=y
CONFIG_XPS=y
